LeanMachineLearning exposition

Bandits.«term𝓛[_|_;_]»🔗

Minimal Lean file

term𝓛[_|_;_]🔗

DefinitionBandits.«term𝓛[_|_;_]»
Details

Law of Y conditioned on the event s.

🔗def
Bandits.«term𝓛[_|_;_]» : Lean.ParserDescr
Bandits.«term𝓛[_|_;_]» : Lean.ParserDescr

Code

notation "𝓛[" Y " | " s "; " μ "]" => Measure.map Y (μ[|s])

Actions: Source · Open Issue